中科院软件所成果获英伟达引用，大模型重构EDA求解器研发范式
求解器，是工业软件的核心计算引擎，它在芯片设计、工业调度、智能制造等多个领域都有重要应用。比如，布尔可满足性问题（SAT，Satisfiability Problem）求解器就是电子设计自动化（EDA，Electronic Design Automation）
软件所成果
中科院软件所成果获英伟达重点引用，打造EDA领域更强核心引擎
求解器，是工业软件的核心计算引擎，它在芯片设计、工业调度、智能制造等多个领域都有重要应用。比如，布尔可满足性问题（SAT，Satisfiability Problem）求解器就是电子设计自动化（EDA，Electronic Design Automation）